1941. The P=NP question and Geodel's lost letter
پدیدآورنده : / Richard J. Lipton
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Geodel's theorem,Computational complexity,Computer algorithms,Logic, Symbolic and mathematical
رده :
E-BOOK
1942. The Palgrave centenary companion to Principia Mathematica
پدیدآورنده : edited by Nicholas Griffin and Bernard Linsky.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Russell, Bertrand, -- 1872-1970. -- Principles of mathematics.,Whitehead, Alfred North, -- 1861-1947.
رده :
QA9
.
W53
E358
9999
1943. The Palgrave centenary companion to Principia mathematica /
پدیدآورنده : edited by Nicholas Griffin, McMaster University, Canada and Bernard Linsky, University of Alberta, Canada
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Russell, Bertrand,1872-1970., Principia mathematica,Whitehead, Alfred North,1861-1947., Principia mathematica,Logic, Symbolic and mathematical,Mathematics-- Philosophy
رده :
QA9
.
W53
P35
2013
1944. The Real Number
پدیدآورنده : / by John Stillwell
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Mathematics,Logic, Symbolic and mathematical,Electronic books
رده :
E-BOOK
1945. The strange logic of random graphs
پدیدآورنده : Spencer, Joel H.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Random graphs,، Logic, Symbolic and mathematical
رده :
QA
166
.
17
.
S64
2001
1946. The Tenth International Congress of Logic, Methodology, and Philosophy of Science, Florence, August 1995
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Methodology-- Congresses ، Science,Congresses ، Science-- Philosophy
رده :
Q
174
.
I58
1995
1947. The Theory of Classes of Groups
پدیدآورنده : by Guo Wenbin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra.,Chemistry-- Mathematics.,Group theory.,Logic, Symbolic and mathematical.,Mathematics.
1948. The Theory of Partial Algebraic Operations
پدیدآورنده : by E. S. Ljapin, A. E. Evseev.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra.,Coding theory.,Functional analysis.,Group theory.,Logic, Symbolic and mathematical.,Mathematics.
1949. The adventure of reason :
پدیدآورنده : Paolo Mancosu
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical,Mathematics-- Philosophy-- History-- 20th century
رده :
QA9
.
M295
2010
1950. The age of alternative logics :
پدیدآورنده : edited by Johan van Benthem ... [and others]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Categories (Philosophy),Logic, Symbolic and mathematical,Mathematics-- Philosophy,Proof theory
رده :
BC135
.
A39
2006
1951. The age of alternative logics : assessing philosophy of logic and mathematics today
پدیدآورنده : edited by Johan van Benthem... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics -- Philosophy,، Proof theory,، Categories )Philosophy(
رده :
BC
135
.
A35
1952. The age of alternative logics: assessing philosophy of logic and mathematics today
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics-- Philosophy,، Proof theory,، Categories )Philosophy(
رده :
BC
135
.
A39
2006
1953. The algebra of logic
پدیدآورنده : / by Louis Couturat
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Logic, Symbolic and mathematical
رده :
BC
135
C87
,
E5
1914
1954. The algebraic theory of switching circuits
پدیدآورنده : MOISIL,GRIGORE C
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : SWITCHING THEORY , LOGIC,SYMBOLIC & MATHEMATICAL , FIELDS,ALGEBRAIC
رده :
QA
401
.
M5513
1969
1955. The algebraic theory of switching circuits
پدیدآورنده : Moisil, Grigore C.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Switching theory,، Logic, Symbolic and mathematical,، Algebraic fields,، Field, Albebraic
رده :
QA
401
.
M5513
1969
1956. The algebraic theory of switching circuits,
پدیدآورنده : by Gr. C. Moisil
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebraic fields,Logic, Symbolic and mathematical,Switching theory
1957. The anatomy of mathematics
پدیدآورنده : Kershner, Richard Brandon
موضوع : ، Logic, Symbolic and mathematical,، Mathematics
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
1958. The anatomy of mathematics
پدیدآورنده : / by r.B. Kershner [and] L.R. Wilcox,Kershnev
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : Mathematics,Logic, Symbolic and mathematical
رده :
QA
9
.
K38
1959. The axiomatic method; an introduction to mathematical logic
پدیدآورنده : Lightstone, A. H.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Axioms,، Mathematics-- Philosophy
رده :
QA
248
.
L53
1960. The basic laws of arithmetic;
پدیدآورنده : Translated and edited, with an introd., by Montgomery Furth.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.
رده :
BC135
.
F6813
1964
